921. Flexible query answering systems :
پدیدآورنده : Henrik L. Larsen ... ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Abfragesprache.,Datenbanksystem.,Frage-Antwort-System.
922. Fog and edge computing :
پدیدآورنده : edited by Rajkumar Buyya and Satish Narayana Srirama.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cloud computing.,Electronic data processing-- Distributed processing.,Cloud computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing-- Distributed processing.
رده :
QA76
.
585
.
F63
2019
923. Formal systems specification : the RPC-memory specification case study
پدیدآورنده : Manfred Broy, Stephan Merz, Katharina Spies )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، Computer networks,، Memory management )Computer science(
رده :
QA
76
.
L28
Vol
.
1169
924. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
925. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: Central Library of Hamedan University of Technology (Hamedan)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
926. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
927. Formation of contract :
پدیدآورنده : Pa
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
928. Foundations of Intelligent Systems :
پدیدآورنده : edited by Zbigniew W. Raś, Andrzej Skowron.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Database management.,Information storage and retrieval systems.
929. Foundations of information and knowledge systems :
پدیدآورنده : Flavio Ferrarotti, Stefan Woltran (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems, Congresses.,Artificial intelligence.,Computer systems.,Computers-- Data Processing.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.
رده :
QA75
.
5
930. Foundations of intelligent systems :
پدیدآورنده : Michelangelo Ceci, Nathalie Japkowicz, Jiming Liu, George A. Papadopoulos, Zbigniew W. Raś (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Data mining, Congresses.,Expert systems (Computer science), Congresses.,Intelligent agents (Computer software), Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Data mining.,Expert systems (Computer science),Image processing.,Information retrieval.,Intelligent agents (Computer software),Society & social sciences.
رده :
QA76
.
76
.
E95
931. Friction stir welding of 2XXX aluminum alloys including Al--Li alloys
پدیدآورنده : Rajiv S. Mishra, Harpreet Sidhar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Friction welding.
932. From CSCW to Web 2.0 :
پدیدآورنده : edited by David Randall, Pascal Salembier.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Teams in the workplace-- Data processing, Congresses.,Teams in the workplace-- Europe, Congresses.,BUSINESS & ECONOMICS-- Decision-Making & Problem Solving.,Teams in the workplace-- Data processing.,Teams in the workplace.,Europe., 7
رده :
HD66
.
2
.
I58
2010eb
933. From Knowledge Intensive CAD to Knowledge Intensive Engineering :
پدیدآورنده : edited by Umberto Cugini, Michael Wozny.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Engineering design.,Engineering.
رده :
TA174
.
E358
2002
934. From active data management to event-based systems and more
پدیدآورنده : / Kai Sachs, Ilia Petrov, Pablo Guerrero (Eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Database management,Databases,Electronic data processing, Distributed processing
رده :
QA76
.
9
.
D3F76
2010
935. From model-driven design to resource management for distributed embedded systems :
پدیدآورنده : edited by Bernd Kleinjohann ... [et al.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing, Congresses.,Embedded computer systems, Congresses.,Parallel processing (Electronic computers), Congresses.
936. Frontier computing :
پدیدآورنده : editors, Jason C. Hung, Neil Y. Yen, Kuan-Ching Li.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
937. Frontier computing :
پدیدآورنده : Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
938. Frontiers in Computer Graphics :
پدیدآورنده : edited by Tosiyasu L. Kunii.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science.,Computer-aided design.
رده :
T385
.
E358
1985
939. Frontiers of higher order fuzzy sets /
پدیدآورنده : Alireza Sadeghian, Hooman Tahayori, editors
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Data structures (Computer science),Engineering.,Fuzzy sets.,Artificial Intelligence (incl. Robotics),Computational Intelligence.,Data Structures, Cryptology and Information Theory.
رده :
QA248
.
5
